Integrals 601 to 700

[next] [prev] [prev-tail] [tail] [up]

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is deﬁned as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table ﬁt, Mathematica was abbreviated to MMA.


Problem 601	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.104	0.012	0.025	0.274	0.332	0.000	4.973	4.266


Problem 602	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.109	0.012	0.028	0.277	0.336	0.000	4.811	4.225


Problem 603	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.107	0.013	0.026	0.277	0.355	0.000	3.437	4.233


Problem 604	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.107	0.014	0.028	0.270	0.358	0.000	3.475	4.223


Problem 605	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	57	0	105	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.040	0.016	0.048	0.286	0.326	0.000	4.011	0.000


Problem 606	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	57	0	105	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.041	0.014	0.048	0.286	0.353	0.000	4.027	0.000


Problem 607	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	57	0	105	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.039	0.014	0.046	0.284	0.323	0.000	3.314	0.000


Problem 608	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	57	0	105	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.041	0.014	0.046	0.275	0.343	0.000	3.002	0.000


Problem 609	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	57	0	105	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.041	0.014	0.046	0.276	0.327	0.000	3.753	0.000


Problem 610	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	252	252	83	80	56	56	0	104	-1
N.S.	1	1.00	0.33	0.32	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.041	0.015	0.045	0.280	0.340	0.000	3.915	0.000


Problem 611	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	248	248	81	78	54	54	0	102	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.034	0.012	0.017	0.279	0.320	0.000	3.974	0.000


Problem 612	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	247	247	83	80	55	59	0	103	-1
N.S.	1	1.00	0.34	0.32	0.22	0.24	0.00	0.42	-0.00
time (sec)	N/A	0.040	0.014	0.023	0.310	0.314	0.000	3.490	0.000


Problem 613	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	246	246	83	80	54	59	0	104	-1
N.S.	1	1.00	0.34	0.33	0.22	0.24	0.00	0.42	-0.00
time (sec)	N/A	0.039	0.016	0.026	0.274	0.332	0.000	5.899	0.000


Problem 614	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	249	249	83	80	55	59	0	106	-1
N.S.	1	1.00	0.33	0.32	0.22	0.24	0.00	0.43	-0.00
time (sec)	N/A	0.039	0.014	0.030	0.277	0.346	0.000	4.615	0.000


Problem 615	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	247	247	83	80	55	59	0	106	-1
N.S.	1	1.00	0.34	0.32	0.22	0.24	0.00	0.43	-0.00
time (sec)	N/A	0.039	0.012	0.023	0.290	0.337	0.000	5.293	0.000


Problem 616	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	246	246	83	80	54	59	0	105	-1
N.S.	1	1.00	0.34	0.33	0.22	0.24	0.00	0.43	-0.00
time (sec)	N/A	0.039	0.013	0.023	0.289	0.359	0.000	6.077	0.000


Problem 617	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	251	251	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.32	0.23	0.24	0.00	0.43	0.92
time (sec)	N/A	0.040	0.012	0.024	0.279	0.349	0.000	5.071	4.221


Problem 618	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	253	253	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.32	0.23	0.23	0.00	0.42	0.91
time (sec)	N/A	0.040	0.012	0.023	0.290	0.335	0.000	3.931	4.350


Problem 619	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.040	0.012	0.026	0.275	0.333	0.000	3.289	4.208


Problem 620	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.040	0.012	0.024	0.288	0.358	0.000	4.424	4.315


Problem 621	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.041	0.014	0.025	0.282	0.324	0.000	3.199	4.267


Problem 622	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.040	0.012	0.025	0.271	0.349	0.000	3.962	4.337


Problem 623	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	59	0	107	231
N.S.	1	1.00	0.33	0.31	0.22	0.23	0.00	0.42	0.91
time (sec)	N/A	0.040	0.013	0.029	0.281	0.352	0.000	5.979	4.311


Problem 624	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	127	127	55	52	34	33	32	59	-1
N.S.	1	1.00	0.43	0.41	0.27	0.26	0.25	0.46	-0.01
time (sec)	N/A	0.071	0.018	0.124	0.285	0.328	0.055	4.357	0.000


Problem 625	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	75	75	44	41	23	22	20	33	64
N.S.	1	1.00	0.59	0.55	0.31	0.29	0.27	0.44	0.85
time (sec)	N/A	0.038	0.009	0.122	0.271	0.342	0.048	5.992	4.519


Problem 626	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	44	44	35	32	13	13	10	22	33
N.S.	1	1.00	0.80	0.73	0.30	0.30	0.23	0.50	0.75
time (sec)	N/A	0.022	0.006	0.121	0.274	0.322	0.035	5.400	4.415


Problem 627	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	80	80	42	37	23	18	15	33	40
N.S.	1	1.00	0.52	0.46	0.29	0.22	0.19	0.41	0.50
time (sec)	N/A	0.023	0.008	0.128	0.291	0.357	0.089	4.732	4.451


Problem 628	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	125	122	54	52	33	33	31	52	75
N.S.	1	0.98	0.43	0.42	0.26	0.26	0.25	0.42	0.60
time (sec)	N/A	0.034	0.011	0.138	0.281	0.361	0.124	4.033	4.454


Problem 629	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	129	129	66	64	37	99	80	64	-1
N.S.	1	1.00	0.51	0.50	0.29	0.77	0.62	0.50	-0.01
time (sec)	N/A	0.031	0.018	0.141	0.498	0.343	0.066	6.241	0.000


Problem 630	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	89	89	54	48	26	82	56	42	-1
N.S.	1	1.00	0.61	0.54	0.29	0.92	0.63	0.47	-0.01
time (sec)	N/A	0.021	0.010	0.126	0.504	0.357	0.056	4.955	0.000


Problem 631	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	53	53	44	34	15	67	53	23	-1
N.S.	1	1.00	0.83	0.64	0.28	1.26	1.00	0.43	-0.02
time (sec)	N/A	0.010	0.009	0.149	0.495	0.355	0.050	3.687	0.000


Problem 632	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	92	92	56	50	29	82	65	37	-1
N.S.	1	1.00	0.61	0.54	0.32	0.89	0.71	0.40	-0.01
time (sec)	N/A	0.021	0.010	0.132	0.494	0.352	0.074	3.341	0.000


Problem 633	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	133	130	70	68	40	106	87	50	-1
N.S.	1	0.98	0.53	0.51	0.30	0.80	0.65	0.38	-0.01
time (sec)	N/A	0.030	0.018	0.129	0.532	0.370	0.097	4.670	0.000


Problem 634	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	158	158	81	103	66	91	0	92	-1
N.S.	1	1.00	0.51	0.65	0.42	0.58	0.00	0.58	-0.01
time (sec)	N/A	0.088	0.022	0.029	0.287	0.364	0.000	3.679	0.000


Problem 635	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	113	113	61	81	55	69	0	62	-1
N.S.	1	1.00	0.54	0.72	0.49	0.61	0.00	0.55	-0.01
time (sec)	N/A	0.068	0.016	0.048	0.292	0.316	0.000	4.287	0.000


Problem 636	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	41	69	39	32	36	36	0	32	42
N.S.	1	1.68	0.95	0.78	0.88	0.88	0.00	0.78	1.02
time (sec)	N/A	0.034	0.009	0.024	0.291	0.349	0.000	4.633	4.244


Problem 637	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	38	38	27	24	26	26	0	24	34
N.S.	1	1.00	0.71	0.63	0.68	0.68	0.00	0.63	0.89
time (sec)	N/A	0.017	0.006	0.017	0.284	0.331	0.000	4.249	4.343


Problem 638	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	147	147	74	107	57	90	0	89	-1
N.S.	1	1.00	0.50	0.73	0.39	0.61	0.00	0.61	-0.01
time (sec)	N/A	0.054	0.020	0.030	0.292	0.342	0.000	4.629	0.000


Problem 639	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	189	189	97	133	75	119	0	122	-1
N.S.	1	1.00	0.51	0.70	0.40	0.63	0.00	0.65	-0.01
time (sec)	N/A	0.063	0.027	0.054	0.280	0.341	0.000	4.490	0.000


Problem 640	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	128	128	84	97	59	188	0	65	-1
N.S.	1	1.00	0.66	0.76	0.46	1.47	0.00	0.51	-0.01
time (sec)	N/A	0.033	0.022	0.038	0.521	0.341	0.000	3.884	0.000


Problem 641	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	129	129	81	99	62	190	0	70	-1
N.S.	1	1.00	0.63	0.77	0.48	1.47	0.00	0.54	-0.01
time (sec)	N/A	0.033	0.020	0.053	0.496	0.339	0.000	4.490	0.000


Problem 642	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	135	135	83	97	58	188	0	65	-1
N.S.	1	1.00	0.61	0.72	0.43	1.39	0.00	0.48	-0.01
time (sec)	N/A	0.024	0.017	0.042	0.494	0.345	0.000	4.184	0.000


Problem 643	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	169	169	93	119	71	202	0	87	-1
N.S.	1	1.00	0.55	0.70	0.42	1.20	0.00	0.51	-0.01
time (sec)	N/A	0.041	0.023	0.034	0.502	0.379	0.000	6.020	0.000


Problem 644	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	209	209	105	139	86	238	0	101	-1
N.S.	1	1.00	0.50	0.67	0.41	1.14	0.00	0.48	-0.00
time (sec)	N/A	0.053	0.027	0.036	0.489	0.331	0.000	5.125	0.000


Problem 645	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	238	238	103	163	110	157	0	114	-1
N.S.	1	1.00	0.43	0.68	0.46	0.66	0.00	0.48	-0.00
time (sec)	N/A	0.129	0.027	0.031	0.290	0.313	0.000	3.434	0.000


Problem 646	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	196	196	83	141	99	135	0	84	-1
N.S.	1	1.00	0.42	0.72	0.51	0.69	0.00	0.43	-0.01
time (sec)	N/A	0.111	0.021	0.027	0.279	0.331	0.000	4.596	0.000


Problem 647	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	B	B	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	61	54	80	80	0	54	144
N.S.	1	1.00	1.49	1.32	1.95	1.95	0.00	1.32	3.51
time (sec)	N/A	0.027	0.012	0.030	0.283	0.339	0.000	3.940	4.291


Problem 648	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	74	74	50	43	69	69	0	43	53
N.S.	1	1.00	0.68	0.58	0.93	0.93	0.00	0.58	0.72
time (sec)	N/A	0.010	0.013	0.026	0.284	0.334	0.000	3.840	4.235


Problem 649	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	69	69	39	32	58	58	0	32	42
N.S.	1	1.00	0.57	0.46	0.84	0.84	0.00	0.46	0.61
time (sec)	N/A	0.034	0.010	0.025	0.279	0.350	0.000	3.604	4.260


Problem 650	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	38	38	27	24	48	48	0	24	34
N.S.	1	1.00	0.71	0.63	1.26	1.26	0.00	0.63	0.89
time (sec)	N/A	0.017	0.007	0.021	0.290	0.327	0.000	3.588	4.273


Problem 651	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	223	223	96	193	101	178	0	111	-1
N.S.	1	1.00	0.43	0.87	0.45	0.80	0.00	0.50	-0.00
time (sec)	N/A	0.081	0.030	0.033	0.283	0.370	0.000	4.127	0.000


Problem 652	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	267	267	119	219	119	207	0	144	-1
N.S.	1	1.00	0.45	0.82	0.45	0.78	0.00	0.54	-0.00
time (sec)	N/A	0.095	0.032	0.038	0.285	0.376	0.000	3.549	0.000


Problem 653	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	211	211	105	172	109	324	0	93	-1
N.S.	1	1.00	0.50	0.82	0.52	1.54	0.00	0.44	-0.00
time (sec)	N/A	0.060	0.028	0.039	0.497	0.377	0.000	3.395	0.000


Problem 654	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	212	212	105	172	111	324	0	93	-1
N.S.	1	1.00	0.50	0.81	0.52	1.53	0.00	0.44	-0.00
time (sec)	N/A	0.056	0.028	0.040	0.495	0.356	0.000	4.174	0.000


Problem 655	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	213	213	105	172	109	324	0	93	-1
N.S.	1	1.00	0.49	0.81	0.51	1.52	0.00	0.44	-0.00
time (sec)	N/A	0.056	0.024	0.037	0.493	0.350	0.000	4.262	0.000


Problem 656	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	213	213	105	169	102	320	0	87	-1
N.S.	1	1.00	0.49	0.79	0.48	1.50	0.00	0.41	-0.00
time (sec)	N/A	0.047	0.027	0.035	0.498	0.330	0.000	3.944	0.000


Problem 657	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	251	251	115	191	115	334	0	109	-1
N.S.	1	1.00	0.46	0.76	0.46	1.33	0.00	0.43	-0.00
time (sec)	N/A	0.069	0.031	0.037	0.497	0.351	0.000	3.941	0.000


Problem 658	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	291	291	127	211	130	370	0	123	-1
N.S.	1	1.00	0.44	0.73	0.45	1.27	0.00	0.42	-0.00
time (sec)	N/A	0.083	0.033	0.042	0.510	0.342	0.000	4.052	0.000


Problem 659	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	298	298	64	0	0	0	0	0	-1
N.S.	1	1.00	0.21	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.158	4.785	0.005	0.000	0.000	0.000	0.000	0.000


Problem 660	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	256	256	48	0	0	0	0	0	-1
N.S.	1	1.00	0.19	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.086	4.647	0.003	0.000	0.000	0.000	0.000	0.000


Problem 661	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	289	289	51	0	0	0	0	0	-1
N.S.	1	1.00	0.18	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.112	5.270	0.003	0.000	0.000	0.000	0.000	0.000


Problem 662	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	618	618	64	0	0	0	0	0	-1
N.S.	1	1.00	0.10	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.256	5.753	0.005	0.000	0.000	0.000	0.000	0.000


Problem 663	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	609	609	64	0	0	0	0	0	-1
N.S.	1	1.00	0.11	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.237	5.350	0.003	0.000	0.000	0.000	0.000	0.000


Problem 664	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	649	649	61	0	0	0	0	0	-1
N.S.	1	1.00	0.09	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.267	6.045	0.003	0.000	0.000	0.000	0.000	0.000


Problem 665	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	51	51	33	42	41	40	48	48	40
N.S.	1	1.00	0.65	0.82	0.80	0.78	0.94	0.94	0.78
time (sec)	N/A	0.010	0.020	0.030	0.280	0.361	0.422	3.237	0.074


Problem 666	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	51	51	33	42	41	34	48	42	41
N.S.	1	1.00	0.65	0.82	0.80	0.67	0.94	0.82	0.80
time (sec)	N/A	0.010	0.019	0.025	0.280	0.340	0.233	3.686	4.224


Problem 667	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	51	51	33	42	41	29	48	37	41
N.S.	1	1.00	0.65	0.82	0.80	0.57	0.94	0.73	0.80
time (sec)	N/A	0.010	0.015	0.023	0.323	0.342	0.120	4.309	0.050


Problem 668	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	49	49	33	41	41	31	46	41	41
N.S.	1	1.00	0.67	0.84	0.84	0.63	0.94	0.84	0.84
time (sec)	N/A	0.009	0.016	0.024	0.337	0.347	0.220	4.517	0.045


Problem 669	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	49	49	33	42	44	34	46	51	31
N.S.	1	1.00	0.67	0.86	0.90	0.69	0.94	1.04	0.63
time (sec)	N/A	0.010	0.019	0.028	0.279	0.344	0.230	3.342	0.052


Problem 670	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	49	49	33	42	43	34	46	53	34
N.S.	1	1.00	0.67	0.86	0.88	0.69	0.94	1.08	0.69
time (sec)	N/A	0.010	0.019	0.030	0.285	0.319	0.286	3.609	4.231


Problem 671	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	49	49	38	42	47	34	46	48	34
N.S.	1	1.00	0.78	0.86	0.96	0.69	0.94	0.98	0.69
time (sec)	N/A	0.010	0.022	0.033	0.306	0.360	0.430	4.479	0.050


Problem 672	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	91	91	55	74	73	68	88	86	71
N.S.	1	1.00	0.60	0.81	0.80	0.75	0.97	0.95	0.78
time (sec)	N/A	0.031	0.024	0.055	0.298	0.360	0.699	3.845	4.199


Problem 673	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	91	91	55	74	73	58	88	74	71
N.S.	1	1.00	0.60	0.81	0.80	0.64	0.97	0.81	0.78
time (sec)	N/A	0.028	0.022	0.059	0.289	0.326	0.430	4.193	0.030


Problem 674	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	91	91	55	74	73	51	88	69	71
N.S.	1	1.00	0.60	0.81	0.80	0.56	0.97	0.76	0.78
time (sec)	N/A	0.029	0.020	0.055	0.268	0.329	0.238	3.446	0.029


Problem 675	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	89	89	55	73	90	53	87	73	71
N.S.	1	1.00	0.62	0.82	1.01	0.60	0.98	0.82	0.80
time (sec)	N/A	0.027	0.020	0.030	0.279	0.355	0.338	6.404	0.031


Problem 676	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	89	89	55	74	76	56	87	89	71
N.S.	1	1.00	0.62	0.83	0.85	0.63	0.98	1.00	0.80
time (sec)	N/A	0.028	0.023	0.035	0.274	0.329	0.353	2.888	0.033


Problem 677	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	89	89	55	74	76	56	87	92	71
N.S.	1	1.00	0.62	0.83	0.85	0.63	0.98	1.03	0.80
time (sec)	N/A	0.028	0.023	0.056	0.277	0.349	0.389	3.341	0.030


Problem 678	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	87	87	60	74	82	56	85	95	75
N.S.	1	1.00	0.69	0.85	0.94	0.64	0.98	1.09	0.86
time (sec)	N/A	0.028	0.026	0.040	0.281	0.338	0.482	3.883	0.058


Problem 679	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	129	129	77	105	105	96	128	124	103
N.S.	1	1.00	0.60	0.81	0.81	0.74	0.99	0.96	0.80
time (sec)	N/A	0.045	0.029	0.059	0.303	0.342	1.065	4.107	0.039


Problem 680	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	131	131	77	106	105	82	129	106	103
N.S.	1	1.00	0.59	0.81	0.80	0.63	0.98	0.81	0.79
time (sec)	N/A	0.042	0.026	0.059	0.299	0.328	0.694	4.291	0.037


Problem 681	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	131	131	77	106	105	73	129	101	103
N.S.	1	1.00	0.59	0.81	0.80	0.56	0.98	0.77	0.79
time (sec)	N/A	0.041	0.022	0.078	0.304	0.340	0.432	3.343	0.038


Problem 682	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	129	129	77	105	155	75	128	105	103
N.S.	1	1.00	0.60	0.81	1.20	0.58	0.99	0.81	0.80
time (sec)	N/A	0.041	0.024	0.035	0.288	0.336	0.517	3.877	0.037


Problem 683	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	125	125	77	105	108	78	124	127	103
N.S.	1	1.00	0.62	0.84	0.86	0.62	0.99	1.02	0.82
time (sec)	N/A	0.044	0.028	0.041	0.309	0.341	0.550	3.846	0.039


Problem 684	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	127	127	77	106	108	78	126	130	103
N.S.	1	1.00	0.61	0.83	0.85	0.61	0.99	1.02	0.81
time (sec)	N/A	0.041	0.028	0.041	0.287	0.361	0.612	3.749	0.038


Problem 685	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	127	127	82	106	114	78	126	133	107
N.S.	1	1.00	0.65	0.83	0.90	0.61	0.99	1.05	0.84
time (sec)	N/A	0.041	0.030	0.046	0.275	0.342	0.769	3.802	0.039


Problem 686	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	316	316	178	207	300	283	0	297	129
N.S.	1	1.00	0.56	0.66	0.95	0.90	0.00	0.94	0.41
time (sec)	N/A	0.265	0.298	0.072	0.509	0.356	0.000	4.277	4.273


Problem 687	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	298	298	167	188	273	283	0	277	112
N.S.	1	1.00	0.56	0.63	0.92	0.95	0.00	0.93	0.38
time (sec)	N/A	0.211	0.282	0.086	0.514	0.356	0.000	3.836	0.124


Problem 688	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	298	298	167	190	282	247	0	263	112
N.S.	1	1.00	0.56	0.64	0.95	0.83	0.00	0.88	0.38
time (sec)	N/A	0.202	0.270	0.065	0.491	0.344	0.000	3.522	0.120


Problem 689	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	281	281	154	171	256	247	0	277	92
N.S.	1	1.00	0.55	0.61	0.91	0.88	0.00	0.99	0.33
time (sec)	N/A	0.182	0.262	0.047	0.501	0.354	0.000	3.464	4.252


Problem 690	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	281	281	153	177	265	234	0	261	92
N.S.	1	1.00	0.54	0.63	0.94	0.83	0.00	0.93	0.33
time (sec)	N/A	0.174	0.261	0.046	0.510	0.359	0.000	4.071	4.355


Problem 691	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	283	283	152	180	255	232	78	264	90
N.S.	1	1.00	0.54	0.64	0.90	0.82	0.28	0.93	0.32
time (sec)	N/A	0.180	0.237	0.043	0.499	0.398	2.540	3.300	0.112


Problem 692	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	283	283	154	177	261	232	0	269	90
N.S.	1	1.00	0.54	0.63	0.92	0.82	0.00	0.95	0.32
time (sec)	N/A	0.172	0.245	0.046	0.508	0.368	0.000	3.292	0.105


Problem 693	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	300	300	165	191	268	276	0	294	102
N.S.	1	1.00	0.55	0.64	0.89	0.92	0.00	0.98	0.34
time (sec)	N/A	0.203	0.275	0.069	0.508	0.341	0.000	3.077	0.122


Problem 694	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	300	300	165	194	275	300	0	276	102
N.S.	1	1.00	0.55	0.65	0.92	1.00	0.00	0.92	0.34
time (sec)	N/A	0.195	0.277	0.069	0.505	0.377	0.000	3.208	4.396


Problem 695	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	318	318	181	206	290	323	0	307	113
N.S.	1	1.00	0.57	0.65	0.91	1.02	0.00	0.97	0.36
time (sec)	N/A	0.223	0.298	0.073	0.497	0.349	0.000	3.953	4.350


Problem 696	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	368	368	205	237	361	399	0	336	188
N.S.	1	1.00	0.56	0.64	0.98	1.08	0.00	0.91	0.51
time (sec)	N/A	0.277	0.568	0.105	0.523	0.398	0.000	4.017	0.129


Problem 697	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	350	350	194	218	334	399	0	316	171
N.S.	1	1.00	0.55	0.62	0.95	1.14	0.00	0.90	0.49
time (sec)	N/A	0.251	0.547	0.105	0.520	0.392	0.000	4.149	4.333


Problem 698	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	350	350	175	220	343	363	0	302	171
N.S.	1	1.00	0.50	0.63	0.98	1.04	0.00	0.86	0.49
time (sec)	N/A	0.250	0.472	0.093	0.502	0.372	0.000	3.174	4.300


Problem 699	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	333	333	164	203	317	370	0	314	153
N.S.	1	1.00	0.49	0.61	0.95	1.11	0.00	0.94	0.46
time (sec)	N/A	0.227	0.470	0.065	0.500	0.361	0.000	3.418	0.110


Problem 700	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	333	333	164	209	326	373	0	301	153
N.S.	1	1.00	0.49	0.63	0.98	1.12	0.00	0.90	0.46
time (sec)	N/A	0.222	0.460	0.062	0.506	0.350	0.000	3.462	4.289

[next] [prev] [prev-tail] [front] [up]